docs: Fix interface manual to correctly reference
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 4 Dec 2007 11:16:41 +0000 (11:16 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 4 Dec 2007 11:16:41 +0000 (11:16 +0000)
commitf2399a92310395a6c91dc5361bf3cea4c7a1d7dc
tree510055005e35f5fac8a3dfae2a3897c9e8e4c5be
parent109644c91922c168512533eef9559f6ce4312cd6
docs: Fix interface manual to correctly reference
update_va_mapping_otherdomain.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
docs/src/interface.tex